$\forall$$A$, $T$:Type, $x$:Id, $a$:Knd, $f$:($A$$\rightarrow$$T$$\rightarrow$$A$). ma{-}single{-}effect0($x$;$A$;$a$;$T$;$f$) $\in$ MsgA